Coverage-Directed Generation of Biased Random Inputs for Functional Validation of Sequential Circuits
نویسندگان
چکیده
A novel simulation-based semi-formal verification method for sequential circuits described at the register-transfer level is presented. The method consists of an iterative loop where coverage analysis guides input pattern generation. An observability-based coverage metric is used to identify portions of the circuit that are not adequately exercised during simulation. A heuristic algorithm then selects probability distributions for biased random input pattern generation that targets non-covered portions. This algorithm is based on an approximate analysis of the circuit modeled as a Markov chain at steady state. Node controllabilities and observabilities are estimated using a limited depth reconvergence analysis and an implicit algorithm for manipulating probability distributions and determining steady-state behavior. An optimization algorithm then perturbs the probability distributions of the primary inputs in order to improve the estimated coverage. The coverage enhancement achieved by our approach is demonstrated on benchmarks from the ISCAS89 and VIS suites.
منابع مشابه
A Functional Validation Technique: Biased-Random Simulation Guided by Observability-Based Coverage
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where coverage analysis guides input pattern generation. An observability-based coverage metric is used to identify portions of the circuit not exercised by simulation. A heuristic algorithm then selects probability distributions...
متن کاملCompaction-based test generation using state and fault information
We present a new test generation procedure for sequential circuits using newly traversed state and newly defectedfault inforination obtained between successive iterations of vector compaction. Two types of techniques are considered. One is based on which new states a sequential circuit is driven into, and the other is based on the new faults that are detected in the circuit between consecutive ...
متن کاملA Novel Approach to Random Pattern Testing of Sequential Circuits
Random pattern testing methods are known to result in poor fault coverage for most sequential circuits unless costly circuit modiications are made. In this paper we propose a novel approach to improve the random pattern testability of sequential circuits. We introduce the concept of holding signals at primary inputs and scan ip-ops of a partially scanned sequential circuit for a certain length ...
متن کاملFunctional test generation for non-scan sequential circuits
The feasibility of generating high quality functional test vectors f o r sequential circuits using the Growth (G) and Disappearance ( 0 ) fault model has been demonstrated earlier. In this paper we provide a theoretical validation of the G and D fault model b y proving the ability of this model t o guarantee complete stuck fault coverage an combinational and sequential circuits synthesized empl...
متن کاملRandom Pattern Testing for Sequential Circuits Revisited
Random pattern testing methods are known to result in poor fault coverage for most sequential circuits unless costly circuit modiication methods are employed. In this paper we propose a novel approach to improve the random pattern testability of sequential circuits. We introduce the concept of holding signals at primary inputs and scan ip-ops for a certain length of time instead of applying a n...
متن کامل